1041. Software science and engineering : Selected Papers from the Kyoto Symposia

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Computer software Congresses, Software engineering Congresses

رده :
QA
76
.
754
.
S6472
1991

1042. Software systems safety /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer security, Congresses.,Software engineering, Congresses.,Systems software-- Safety measures, Congresses.

1043. Software technologies :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science, Congresses.,Computer software, Congresses.,Computer science.,Computer software.

رده :
QA76
.
758

1044. Software technologies for embedded and ubiquitous systems

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Embedded computer systems, Congresses,Software engineering, Congresses,Ubiquitous computing, Congresses

رده :
TK7895
.
E42
S48
2009eb

1045. Software visualization : International Seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software,Congresses ، Visual programming )Computer science(

رده :
QA
76
.
L28
Vol
.
2269

1046. Software visualization :international seminar, Dagstuhl Castle, Germany, May 20-25, 2001 : revised papers

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)

موضوع : Congresses ، Computer software,Congresses ، Visual programming )Computer science(

رده :
QA
76
.
751
.
D34
2001

1047. Solving Software Challenges for Exascale

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer science,کامپیوتر,a05,a05,Computer software -- Development -- Congresses.,Supercomputers -- Congresses,نرم‌افزار -- تولید -- کنگره ها

رده :
QA76
.
76
.
D47S62
2015
E-Book
,

1048. Special issue of the International Multiconference of Engineers and Computer Scientists 2012

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.

رده :
TA5
.
G534
2013

1049. Specification and design of software systems

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)

موضوع : Operating systems (Computers)- Congresses,Computer software- Specifications- Congresses,System design- Congresses

رده :
QA
,
76
.
6
,.
C646
,
1982

1050. Specification and design of software systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software -- Specifications -- Congresses.,Operating systems (Computers) -- Congresses.,System design -- Congresses.

1051. Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Operating systems )Computers(-- Congresses,، Computer software-- Specifications-- Congresses,، System design-- Congresses

رده :
QA
76
.
6
.
C646
1982

1052. Static Analysis

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer programming -- Congresses.,Software engineering -- Congresses.,Computer programming.,برنامه‌نویسی -- کنگره‌ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌نویسی

رده :
QA
76
.
6
.
S7
2015
E-Book
,

1053. Static analysis

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer programming, Congresses,Software engineering, Congresses

رده :
QA76
.
6
.
I58
2013

1054. Studies of software design : ICSE '93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Computer software -- Development

رده :
QA
76
.
L28
Vol
.
1078

1055. System development and Ada: CRAI Workshop on Software Factories and Ada Capri, Italy, May 1986 : Proceedings

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، System design,Congresses ، Computer software -- Development,Congresses ، Ada )Computer program language(

رده :
QA
76
.
L28
Vol
.
275

1056. System specification and design languages

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses

رده :
TK7885
.
7
.
F35
2010eb

1057. Systems Implementation 2000 : IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000 : Languages, Methods and Tools 23-26 February 1998, Berlin, Germany

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Software engineering - Congresses , Computer software - Development - Congresses

رده :
QA
76
.
758
.
I35
1998

1058. Systems, Software and Services Process Improvement :

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software ; Development ; Congresses. ;

1059. Systems, Software and Services process Improvement.

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Software engineering.,Computer software -- Development -- Congresses.,Computer software -- Quality control -- Congresses,م‍ه‍ن‍دس‍ی‌ ن‍رم‌ اف‍زار ,نرم‌افزار -- تولید -- کنگره ها ,نرم افزار -- ک‍ن‍ت‍رل‌ ک‍ی‍ف‍ی‍ت -- کنگره ها‌

رده :
QA
76
.
76
.
S968
2015
E-Book
,

1060. Systems development methods for databases, enterprise modeling, and workflow management

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software -- Development -- Congresses.,System design -- Congresses.,Workflow management systems -- Congresses.

رده :
QA76
.
9
.
S88
E358
1999